<?php
$DEFAULT = "";

header('Content-Type: application/json');
print(json_encode("a"));

